Hardware, Software, Humans: Truth, Fiction and Abstraction

Hardware, Software, Humans: Truth, Fiction and Abstraction

Mathematics : Truth and Fiction ?

Mark Balaguer's project in this book is extremely ambitious; he sets out to defend both platonism and fictionalism about mathematical entities. Moreover, Balaguer argues that at the end of the day, platonism and fictionalism are on an equal footing. Not content to leave the matter there, however, he advances the anti-metaphysical conclusion that there is no fact of the matter about the existenc...

Iv. Truth in Fiction

"IA7E can truly say that Sherlock Holmes lived * * in Baker Street, and that he liked to show off his mental powers. We cannot truly say that he was a devoted family man, or that he worked in close cooperation with the police. It would be nice if we could take such descrip? tions of fictional characters at their face value, ascribing to them the same subject-predicate form as parallel descripti...

Interface-Centric Abstraction Level for Rapid Hardware/Software Integration

With the continuous advances of high-level synthesis and hardware/software codesign, engineers have now the luxury and the desire to explore very quickly multiple high-level architectures. Systemlevel tools can enable trade-offs of architectures that rely on different combinations of memory access, resource sharing and multiplexing. A good system-level design flow must enable fast and accurate ...

System Level Hardware Abstraction for Software Defined Radios

Next generation mobile devices employ multiple programmable processing resources, which need to be orchestrated efficiently by the designer. The usage of low level operating system APIs limits the reusability of the implementation substantially. Moreover, expensive reimplementations are needed during design space explorations. An explicit and platform independent representation of parallelism w...